$\forall$$s$:QOSet, $a$, $b$:$\mid$$s$$\mid$. ($a$ $<$$s$ $b$) $\Rightarrow$ ($\neg$($a$ = $b$))